Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Éric Tanter (University of Chile), 2-12 July 2013, in the context of the Associate Team REAL.
-
Takahiro Hirofuchi (AIST, Japan), 1 Jan-31 Dec 2013, in the context and with the financial support of the ANR SONGS project.
Internships
-
Ismael FIGUEROA (from Apr 2013 until Jun 2013)
-
Compositional Reasoning About Aspect Interference (this leads to a publication in Modularity'14 [33] ).
-